DFTRES

Benchmark

Model:	haddad-monmege v.1 (DTMC)
Parameter(s)	N = 100, p = 0.7
Property:	target (prob-reach)

Invocation (specific)

java -Xmx6G -XX:+UseParallelGC -jar DFTRES/DFTRES.jar -s 0 --prop target  --def N 100 --def p 0.7 --relErr 1e-99 --unsafe-scheduling --fixed-batches haddad-monmege.jani

Execution

Walltime:	600.2114264965057s
Return code:	130
Relative Error:	1.0

Log

Total time: 599.945 s.
Property target:
point estimate: 0.0,
var: 0.0,
CI: [0.0, 1.0]

STDERR

Only time-accumulating or time-instant reward queries currently supported.